Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
نویسندگان
چکیده
منابع مشابه
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations
Embedded systems are often modeled using Matlab’s Simulink and Stateflow (MSS), to simulate plant and controller behavior but these models lack support for formal verification. On the other hand verification techniques and tools do exist for models based on the notion of Hybrid Automata (HA) but there are no tools that can convert Simulink/Stateflow models into their semantically equivalent Hyb...
متن کاملEquivalent Semantic Translation from Parallel DEVS Models to Time Automata
Dynamic reconfigurable simulation based on Discrete Event System Specification (DEVS) requires efficient verification of simulation models. Traditional verification method of DEVS model is based on I/O test in which a DEVS model is regarded as a black box or a grey box. This method is low efficient and insufficient because input samples are often limited. This paper proposes a formal method whi...
متن کاملDomain Model Translation Using Graph Transformations
The implementation of Computer Based Systems (CBSs) is commonly guided by constraints imposed by the particular domain of the CBS. Domain-specific programming is a convenient way to provide a domain expert with a language that is customized to the particular constraints and assumptions of the domain.. The careful thought and design that precede the development of any domain-specific visual lang...
متن کاملNeighborhood transformations on graph automata
We consider simulations of graph automata. We introduce two local transformations on the neighborhood: splitting and merging. We explain how to use such transformations, and their consequences on the topology of the simulated graph, the speed of the simulation and the memory size of simulating automata in some cases. As an example , we apply these transformations to graph automata embedded on s...
متن کاملUsing Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
Graph transformation is often used to transform domain models from one domain specific language (DSML) to another. In some cases, the DSMLs are based on a formalism that has many implementation variants, such as Statecharts. For instance, it could be necessary to transform iLogix Statechart models into Matlab Stateflow models. The preservation of behavior of the models is crucial in such transf...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2004
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2004.02.055